Free variables and bound variables